#include <iostream>
#include <map>
using namespace std;

int main(void){
	map<int ,int> data;
	int N,input;
	cin>>N;
	for(int i=0;i<N;i++){
		cin>>input;
		data[input]=input;
	}
	cout<<data.size()<<endl;
	for(map<int,int>::iterator it=data.begin();it!=data.end();++it){
		if(it!=data.begin())cout<<' ';
		cout<<it->second;
	}
	return 0;
}
